Самая большая электронная библиотека рунета. Поиск книг и журналов

Reactive systems: modelling, specification and verification

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.97 Mb

Reactive Systems: Modelling, Specification and Verification

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.92 Mb

Automata, Languages and Programming, Part I - ICALP 2011

Автор: , Автор: , Автор:
Размер книги: 8.05 Mb

Automata, Languages and Programming, Part II - ICALP 2011

Автор: , Автор: , Автор:
Размер книги: 6.56 Mb

Automata, Languages and Programming, 35 conf., ICALP 2008, part 1

Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 8.39 Mb

Automata, Languages and Programming, 35 conf., ICALP 2008, part 2

Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 7.40 Mb

Reactive Systems: Modelling, Specification and Verification

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.86 Mb